This essentially self-contained, deliberately compact, and user-friendly textbook is designed for a first, one-semester course ...
Continue readingThis essentially self-contained, deliberately compact, and user-friendly textbook is designed for a first, one-semester course ...
Continue readingThe phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Continue readingA Modern Introduction to Probability and Statistics has numerous quick exercises to give direct feedback to the students. ...
Continue readingSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Continue readingPractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Continue readingThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Continue readingThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Continue readingSatellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...
Continue readingANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
Continue readingIn the last years electronic markets, especially online auctions, have become very popular and received more and more attention ...
Continue readingLearning and adaption are key features of "real economies". Studying interesting real phenomena like innovation, industry ...
Continue readingApparently, the ability of animals and robots to adapt in a real world cannot be explained or realized by one single function ...
Continue readingAdaptive Voltage Control in Power Systems, a self-contained blend of theory and novel application, is an in-depth treatment ...
Continue readingAdvanced Control of Industrial Processes presents the concepts and algorithms of advanced industrial process control and ...
Continue readingAdvanced Design and Manufacture to Gain a Competitive Edge collects together papers from the 2008 International Conference ...
Continue readingThis book - in conjunction with the two volumes LNCS 5226 and LNAI 5227 - constitutes the refereed proceedings of the Fourth ...
Continue readingThe QOS evaluating model for computational grid nodes put forward can help greatly improving the self-adaptability of resource ...
Continue readingAdvances and Innovations in Systems, Computing Sciences and Software Engineering is a collection of world class paper articles ...
Continue readingThe individual papers represent a valuable collection of information on the current state-of-the-art research in the field ...
Continue reading